Logic, Programming, and Computer Science: Local Perspectives

Logic in Computer Science

The first language we consider is the language of propositional logic. It is based on propositions (or declarative sentences) which can either be true or false. Some examples are: 1. Grass is green. 2. The sky is yellow. 3. Every natural number n > 2 is the sum of two prime numbers. 4. If I do not study then I get an F in this course. Sentence (1) is obviously true, whereas sentences (2) is fal...

Logic in Computer Science

Example 1. Show that every amount of change n ≥ 8 can be paid with only 3c and 5c coins. Proof: Suppose, for the sake of contradiction, that there are some values of n ≥ 8 such that it is not possible to pay n with 3c and 5c coins. Take the set of all such values. Since all of them are natural numbers, there is, by well-ordering principle, a minimal element in this set; let’s call it k. Now, co...

Logic for computer science

Yuri, Logic, and Computer Science

state machines (ASMs) form a relatively new computation model holding the promise that they can simulate any computational system in lockstep. In particular, an instance of the ASM model has recently been introduced for computing queries to relational databases [120]. This model, to which we refer as the BGS model, provides a powerful query language in which all computable queries can be expres...

Computer Science, Logic, Informatics Education

Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called “Bologna process”. We survey the spread of logic in the computer science education. We draw special attention to the process resulting by 1987 in a comprehensive school in the international logic research called “Computer Science Logic”. It includes the invest...